What Did We Prove And What Can We Now Prove Even More Profoundly?